Infinite product proof